1

An Extension of the Craig-Schütte Interpolation Theorem.by Takashi Nagashima

Year:
1968
Language:
english
File:
PDF, 325 KB
english, 1968
2

Intuitionistic Analysis and Gödel's Interpretation.by Mariko Yasugi

Year:
1972
Language:
english
File:
PDF, 134 KB
english, 1972
3

On Intermediate Logicsby Tsutomu Hosoi

Year:
1971
Language:
english
File:
PDF, 356 KB
english, 1971
5

Proof Theory and Intuitionistic Systems.by Bruno Scarpellini

Year:
1974
Language:
english
File:
PDF, 229 KB
english, 1974